Transactors: Unifying Transactions and Actors
نویسنده
چکیده
Composability and deadlock-freedom are important properties that are stated for transactional memory (TM). Commonly, the Semantics of TM requires linearization of transactions. It turns out that linearization of transactions that have cyclic communication brings incomposability and deadlock. Inspired from TM and Actors, this work proposes Transactors that provide facilities of isolation from TM and communication from Actors. We define the semantics of Transactors including support for cyclic transactional communication. An algorithm implementing this semantics is offered. The soundness of the algorithm is proved.
منابع مشابه
Automatic Transactor Generation in Tlm by Exploiting Efsms *
One of the main critical tasks in a design flow based on Transaction Level Modeling (TLM) is the implementation of transactors. In fact, even if transactors represent the key objects to allow TLM-RTL mixed simulation, testbench and assertion reuse, their implementation is still manual, tedious and errorprone. The paper firstly classifies two scenarios as starting points to generate transactors ...
متن کاملToward a Programming Model for Building Reliable Systems with Distributed State
We present the preliminary design of a programming model for building reliable systems with distributed state from collections of potentially unreliable components. Our transactor model provides constructs for maintaining consistency among the states of distributed components. Our intention is that transactors should support key aspects of both traditional distributed transactions, e.g., for el...
متن کاملAutomatic Generation of SystemC Transactors from AsmL Specifications
The SoC design flow consists of different levels of abstraction. At Transaction Level Modeling (TLM) different modules communicate with each other through function calls. In contrast, at the Register Transfer Level (RTL), different modules communicate through pin level signaling. The notion of transactors has been introduced recently in order to link modules (IP blocks) written at different lev...
متن کاملTransactor-based Formal Verification of Real-time Embedded Systems
With the increasing complexity of today's embedded systems , there is a need to formally verify such designs at mixed abstraction levels. This is needed if some components are described at high levels of abstraction, whereas others are described at low levels. Components in single abstraction level designs communicate through channels, which capture essential features of the communication. If t...
متن کاملSynthesis of Glue Logic, Transactors, Multiplexors and Serialisors from Protocol Specifications
Today’s system-on-chip (SoC) systems must be designed as quickly as possible by integrating IP blocks from diverse suppliers. In this paper, we present a new automatabased algorithm that automatically synthesizes glue logic for SoC fabrication and Transaction-level modelling (TLM) transactors for SoC modelling. Our approach introduces a new encoding for state variables which captures data conse...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009